$\forall$${\it es}$:ES, $X$:AbsInterface(Top), $e$:E(prior($X$)), ${\it e'}$:E($X$). (prior($X$)($e$) $<$loc ${\it e'}$) $\Rightarrow$ $e$ $\leq$loc ${\it e'}$